program semantics的例句大全

On Program Semantics of Dynamic Data Structures

论动态数据结构的程序语义

So, this paper addresses how to define program semantics on dynamic data structures.

本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。

We then present the partial strongest post-condition, which represents the over-approximated program semantics.

基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。

The partial weakest precondition is another way to represent the over-approximated program semantics, and its definition is also based on variable abstraction.

部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。

Programs have appeared as O_expressions ( expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.

程序以操作表达式的形式呈现，而其语义则以公理的形式给出。

Constrasted with other semantics theories of nonmonotonic logic programming, Answer Set semantics, the kernel of Answer Set programming technology, is concise and simple, and fully utilizes the fruits acquired by the logic programming community, and effectively realizes nonmonotonic reasoning of the logic program.

作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。

However, since the current organization of traditional information resources is lack of unified semantics-based description, the computer program cannot understand the semantic meaning and provide the accurate and right information resources the users need.

但是，目前传统的信息资源组织方式缺少统一的基于语义的描述，计算机程序不能正确理解其中包含的语义内涵，无法为用户提供准确恰当的所需信息资源。